finitiste

finitiste

finitiste adjectif et nom Relatif au finitisme ; partisan du finitisme.

finitiste [finitist] adj.
ÉTYM. XXe ; de finitisme.
Didact., philos. Relatif au finitisme.
0 Il exige que la mathématique au moyen de laquelle on étudie un système formel ne fasse usage de la notion d'infini que dans les cas où cet emploi ne semble pas pouvoir donner naissance à des difficultés. Sont notamment interdites la considération d'ensembles infinis comme des touts donnés, l'application à ces ensembles du principe du tiers exclu ou d'un principe de choix analogue à celui qu'énonce l'axiome de Zermelo. La théorie de la démonstration telle que la conçoit Hilbert (et à sa suite Hërbrand) est strictement finitiste.
R. Martin, Contribution à un vocabulaire de la logique moderne, in D. D. L., II, 4.

Encyclopédie Universelle. 2012.

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • fini — fini, ie [ fini ] adj. • XIIIe; de finir 1 ♦ Qui a été mené à son terme, achevé, terminé. Mon travail est fini. Ses études sont finies. ♢ Par ext. Produits finis, qui peuvent être utilisés dès leur sortie d usine. Produits semi finis. ♢ Spécialt… …   Encyclopédie Universelle

  • Infini — Le symbole infini Le mot « infini » ( e, s ; du latin finitus, « limité »), est un adjectif servant à qualifier quelque chose qui n a pas de limite en nombre ou en taille. Sommaire …   Wikipédia en Français

  • ENSEMBLES (THÉORIE DES) - Théorie axiomatique — La théorie des ensembles fut créée par Georg Cantor à la fin du XIXe siècle. Cependant, le caractère extrêmement général et abstrait de la notion d’ensemble permit de produire des paradoxes rendant la théorie contradictoire (cf. théorie… …   Encyclopédie Universelle

  • GÖDEL (K.) — Issue de la pensée de Boole, de Cantor et de Frege au cours de la seconde moitié du XIXe siècle, la logique mathématique connaît ses premiers développements grâce à Hilbert et à Russel et Whitehead (premier quart du XXe siècle). Mais c’est à Kurt …   Encyclopédie Universelle

  • Theorie axiomatique des ensembles — Théorie des ensembles La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d ensemble et d… …   Wikipédia en Français

  • Theorie des ensembles — Théorie des ensembles La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d ensemble et d… …   Wikipédia en Français

  • Théorie axiomatique des ensembles — Théorie des ensembles La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d ensemble et d… …   Wikipédia en Français

  • Théorie des ensembles — La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d ensemble et d appartenance, à partir… …   Wikipédia en Français

  • Théorème du minimax — de von Neumann John von Neumann …   Wikipédia en Français

  • Théorème du minimax de von Neumann — John von Neumann Vers où faut il …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”